$\forall$${\it es}$:ES, ${\it Sys}$:AbsInterface(Top), $f$:(E(${\it Sys}$)$\rightarrow$E(${\it Sys}$)). sys{-}order(${\it es}$; ${\it Sys}$; $f$) $\in$ $\mathbb{P}$